table {
  margin: 0 auto;
  border-collapse: separate; /* collapse */
  border-spacing: 1px;
  empty-cells: show; /* hide */
}
caption {
  padding-bottom: .5em;
  font-weight: 700;
  font-size: 150%;
}
td, tbody tr.even td {
  padding: 2px 5px;
  border: 1px solid #dcdcdc;
  background: #fff;
  color: #000;
}
tbody tr.odd td {
  background: #ffd;
  color: #013;
}
thead tr th {
  padding: 0 5px;
  border: 1px solid #dcdcdc;
  font-size: 80%;
  font-weight: 400;
  font-variant: small-caps;
  letter-spacing: .1em;
  text-align: center;
  color: #000;
  background-color: #f0f0f0;
}
tfoot tr td {
  padding: 0 5px;
  border: none;
  font-size: 90%;
  color: #000;
  background-color: transparent;
}
tbody tr td:nth-child(5) {
  text-align: right;
}
tbody tr.separator td {
  padding: 0;
  border: none;
  background-color: transparent;
  font-size: 50%;
  line-height: 10px;
}
span.sup {
  height: 0;
  line-height: 1px;
  margin: 0 1px;
  vertical-align: baseline;
  position: relative;
  bottom: 1ex;
  font-family: inherit;
  font-weight: 400;
}

span.cmd {
  color: #309;
}
span.cmd:before {
  content: open-quote;
}
span.cmd:after {
  content: close-quote;
}

ul.users {
  list-style: disc;
  display: inline-block;
  margin-left: 50%;
}
ul.users li {
  margin-left: -50%;
  margin-top: .5em;
  margin-bottom: .5em;
  font: 700 120% monospace;
}

table.statistics {
  margin: .25em 0 .25em 1em;
}
.statistics caption {
  padding: .3em;
  text-align: left;
}
.statistics td {
  text-align: left;
}
.statistics td:last-child {
  text-align: right;
  min-width: 9ex;
}

h4, .statistics caption {
  font-size: 120%;
}
h4 {
  margin: 1em 0 .5em 0;
}
